(DEFPROP READ* 
 (LAMBDA NIL
  (PROG (J Z)
	(SETQ J (RATOM*))
	(COND ((IS_RPAR J) (ERR (QUOTE FOO1))) ((IS_DOT J) (ERR (QUOTE FOO2))) ((ATOM J) (RETURN J)))
	(SETQ Z (CONS NIL NIL))
	(RPLACA Z (CONS NIL Z))
	(SETQ CP (CAR Z))
   HEAD (SETQ J (RATOM*))
	(COND ((OR (IS_DOT J) (IS_RPAR J)) (ERR (QUOTE FOO3)))
	      ((ATOM J) (RPLACA X J) (GO TAIL))
	      (T (RPLACA CP (CONS NIL CP)) (SETQ CP (CAR CP)) (GO HEAD)))
   TAIL (SETQ J (RATOM*))
	(COND ((ATOM J) (RPLACD CP (CONS J (CDR CP))) (SETQ CP (CDR CP)) (GO TAIL))
	      ((IS_RPAR J) (COND
			    ((NULL (CDR CP)) (RETURN (CAR Z))
					     (T (SETQ TEMP (CDR CP))
						(RPLACD CP NIL)
						(SETQ CP TEMP)
						(GO TAIL))))
			   ((IS_LPAR J) (RPLACD CP (CONS NIL (CDR CP))) (SETQ CP (CDR CP)) (GO HEAD))
			   ((IS_DOT J) BARF))))) 
EXPR)